Automatic Implementation of Distributed Systems Formal Specifications
نویسندگان
چکیده
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance, but also could help the construction of tools able to derive implementations automatically. In order to attend such a need, some Formal Description Techniques (FDT's) have been proposed. This paper defends the transformational approach as a good strategy to carry out the automatic implementation of DS's expressed in FDTs, focusing Mondel as FDT, and the DRACO-PUC environment as transformational system.
منابع مشابه
OSI Specifications using ASN.1 and other formal description techniques
Service and protocol specifications are the basis for the design and implementation of distributed computer systems. In the area of OSI communication standards, specifications are written in natural language and various description techniques, including ASN.1 and other formal techniques. Since the scope of ASN.1 is essentially limited to the definition of data structures and coding conventions,...
متن کاملFormal Methods for Describing Distributed Systems: a Discussion of the Experience in Osi Standardization*
Distributed systems are difficult to design and implement because of concurrent activities in the different system components. The use of formal specifications for describing the behavior of these components facilitates the systematic analysis of the system and its implementation. So-called formal description techniques (FDT's) have been developed in recent years for the formal description of t...
متن کاملSpecification and verification of a distributed software architecture for electronic invoices in Chile
We present a case study in the formal specification of a distributed software, that is currently being defined by the Chilean taxes administration. The system is described by graphical specifications consisting of finite transition systems, composed using synchronisation networks. Both transition systems and networks are parameterised with integer variables. We use bisimulation-based verificati...
متن کاملA formal approach to conformance testing
In order to assure successful communication between computer systems from different manufacturers, standardized communication protocols are being developed and specified. As a next step implementations of these protocols are needed that conform to these specifications. Testing is a way to check correctness of protocol implementations with respect to their specifications. This activity is known ...
متن کاملFormal Aspects for Distributed Systems
We argue that superposition and the joint action style of specification are well suited for the aspect-oriented formal specification of distributed systems. Superposition steps structure a specification according to behavior instead of implementation level components. Superposition also makes it possible to verify temporal safety properties and refine and compose specifications in a way that pr...
متن کامل